Probabilistically checkable proof
確率的検査可能証明
PCP (計算複雑性理論)
https://ja.wikipedia.org/wiki/PCP_(計算複雑性理論)
https://en.wikipedia.org/wiki/Probabilistically_checkable_proof